hyperreal numbers - German English Dictionary